|
| 1: |
|
a__dbl(0) |
→ 0 |
| 2: |
|
a__dbl(s(X)) |
→ s(s(dbl(X))) |
| 3: |
|
a__dbls(nil) |
→ nil |
| 4: |
|
a__dbls(cons(X,Y)) |
→ cons(dbl(X),dbls(Y)) |
| 5: |
|
a__sel(0,cons(X,Y)) |
→ mark(X) |
| 6: |
|
a__sel(s(X),cons(Y,Z)) |
→ a__sel(mark(X),mark(Z)) |
| 7: |
|
a__indx(nil,X) |
→ nil |
| 8: |
|
a__indx(cons(X,Y),Z) |
→ cons(sel(X,Z),indx(Y,Z)) |
| 9: |
|
a__from(X) |
→ cons(X,from(s(X))) |
| 10: |
|
mark(dbl(X)) |
→ a__dbl(mark(X)) |
| 11: |
|
mark(dbls(X)) |
→ a__dbls(mark(X)) |
| 12: |
|
mark(sel(X1,X2)) |
→ a__sel(mark(X1),mark(X2)) |
| 13: |
|
mark(indx(X1,X2)) |
→ a__indx(mark(X1),X2) |
| 14: |
|
mark(from(X)) |
→ a__from(X) |
| 15: |
|
mark(0) |
→ 0 |
| 16: |
|
mark(s(X)) |
→ s(X) |
| 17: |
|
mark(nil) |
→ nil |
| 18: |
|
mark(cons(X1,X2)) |
→ cons(X1,X2) |
| 19: |
|
a__dbl(X) |
→ dbl(X) |
| 20: |
|
a__dbls(X) |
→ dbls(X) |
| 21: |
|
a__sel(X1,X2) |
→ sel(X1,X2) |
| 22: |
|
a__indx(X1,X2) |
→ indx(X1,X2) |
| 23: |
|
a__from(X) |
→ from(X) |
|
There are 14 dependency pairs: